On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
automath
Automath ("automating mathematics") is a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify their correctness.